Formal model of earthquake disaster mitigation and management system

Background Wireless sensor and actor networks (WSANs) consist of sensors and actors connected through wireless medium. In the network, sensors are used to sense complex events in an environment and actors take intelligent decisions and perform actions as required. Sensors are cheap devices which have low power batteries, slow processing capabilities and short communication range as compared to actors which are more expensive and powerful in terms of resources. It is noted that actors are capable of sensing the environment but sensors do not have ability to perform any action (Akyildiz and Kasimoglu 2004). As an example from military defence system, sensors detect enemy troops and report to actors which destroy the troops by coordinating with each other. For an effective monitoring and decision making, there must be a continuous sensor–sensor, sensor–actor and actor–actor communication to perform an appropriate action whenever Abstract